abstract interpretation

мат.
абстрактная интерпретация

English-Russian scientific dictionary. 2008.

Смотреть что такое "abstract interpretation" в других словарях:

  • Abstract interpretation — In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer… …   Wikipedia

  • Interpretation — Distinguish from interpenetration. Interpreter, interpreting, interpretation can mean:The term interpretation may refer to: *Formal interpretation an abstract model. * Logical interpretation the assignment of meaning to the symbols used in formal …   Wikipedia

  • Abstract management — is the process of accepting and preparing abstracts for presentation at an academic conference. The process consists of either invited or proffered submissions of the abstract or summary of work. The abstract typically states the hypothesis,… …   Wikipedia

  • Interpretation of quantum mechanics — An interpretation of quantum mechanics is a statement which attempts to explain how quantum mechanics informs our understanding of nature. Although quantum mechanics has received thorough experimental testing, many of these experiments are open… …   Wikipedia

  • Abstract expressionism — Although the term abstract expressionism was first applied to American art in 1946 by the art critic Robert Coates, it had been first used in Germany in 1919 in the magazine Der Sturm , regarding German Expressionism. In the USA, Alfred Barr was… …   Wikipedia

  • Abstract labour and concrete labour — Part of a series on Marxism …   Wikipedia

  • INTERPRETATION — This article is arranged according to the following outline: definition of terms bible exegesis substance of bible exegesis in jewish creative interpretation and integrative interpretation …   Encyclopedia of Judaism

  • Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until …   Wikipedia

  • Abstract structure — An abstract structure in mathematics is a formal object that is defined by a set of laws, properties, and relationships in a way that is logically if not always historically independent of the structure of contingent experiences, for example,… …   Wikipedia

  • Abstract — Ein Abstract ist eine prägnante Inhaltsangabe, ein Abriss ohne Interpretation und Wertung einer wissenschaftlichen Arbeit. In DIN 1426 wird das (oder auch der) Abstract als Kurzreferat zur Inhaltsangabe beschrieben. Die Definition des American… …   Deutsch Wikipedia

  • Abstract State Machine — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… …   Deutsch Wikipedia

Книги

Другие книги по запросу «abstract interpretation» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.